Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.aiยท19hยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Programming Entry Level: how to interpreter
dev.toยท15hยท
Discuss: DEV
๐Ÿ”—Lisp
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.orgยท1d
๐ŸงชCBOR Fuzzing
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
Counting with Categories (Part 3)
golem.ph.utexas.eduยท23h
ฮปLambda Formalization
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท13hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท2hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
How To Prepare Your API for AI Agents
thenewstack.ioยท1h
๐Ÿ”ŒInterface Evolution
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lolยท5hยท
Discuss: Hacker News
โœ“Automated Theorem Proving
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
The Guide to the Foundation Models Framework
azamsharp.comยท1hยท
Discuss: Hacker News
ฮปLambda Formalization
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท7hยท
Discuss: DEV
๐Ÿ“Error Bounds
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Make Sense of a 10K+ Line GitHub Repos Without Reading the Code
kdnuggets.comยท22h
๐ŸŒฟgit